@inproceedings{yang2017fuel,
  title={Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis},
  author={Yang, Liren and Karnik, Amey and Pence, Benjamin and Waez, Md Tawhid Bin and Ozay, Necmiye},
  booktitle={Proceedings of the American Control Conference},
  pages={1839--1846},
  year={2017},
  organization={IEEE}
}